Nuprl Definition : scheme-constant 11,40

scheme-constant(R) == <0, [], nmr.R> 
latex


Definitions#$n, <a, b>, [], x.A(x)
FDL editor aliasesscheme-constant

origin